Gilles Geeraerts: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Well-structured languages

Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 819 KB

english, 2007

2

Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm

Gilles Geeraerts, Joël Goossens, Markus Lindström

Journal:

Real-Time Systems

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

3

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Queue-Dispatch Asynchronous Systems

Geeraerts, Gilles, Heussner, Alexander, Raskin, Jean-Francois

Year:

2013

Language:

english

File:

PDF, 436 KB

english, 2013

4

ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS

GEERAERTS, GILLES, RASKIN, JEAN-FRANÇOIS, VAN BEGIN, LAURENT

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

5

On regions and zones for event-clock automata

Geeraerts, Gilles, Raskin, Jean-François, Sznajder, Nathalie

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.11 MB

english, 2014

6

On the Verification of Concurrent, Asynchronous Programs with Waiting Queues

Geeraerts, Gilles, Heußner, Alexander, Raskin, Jean-François

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2015

Language:

english

File:

PDF, 902 KB

english, 2015

7

Délai optimal entre diagnostic clinique de mort encéphalique et angio-tomodensitométrie cérébrale : une étude rétrospective

Kerhuel, Lionel, Srairi, Mohamed, Georget, Gilles, Bonneville, Fabrice, Mrozek, Ségolène, Mayeur, Nicolas, Lonjaret, Laurent, Sacrista, Sandrine, Fourcade, Olivier, Geeraerts, Thomas

Journal:

Anesthésie & Réanimation

Year:

2015

Language:

french

File:

PDF, 152 KB

french, 2015

8

Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games

Brihaye, Thomas, Geeraerts, Gilles, Haddad, Axel, Monmege, Benjamin

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 984 KB

english, 2017

9

Synthesising succinct strategies in safety games with an application to real-time scheduling

Geeraerts, Gilles, Goossens, Joël, Nguyen, Thi-Van-Anh, Stainer, Amélie

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 2.30 MB

english, 2017

10

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 10419 || Euler’s Method Applied to the Control of Switched Systems

Abate, Alessandro, Geeraerts, Gilles

Year:

2017

Language:

english

File:

PDF, 1.93 MB

english, 2017

11

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 10419 || Lazy Reachability Checking for Timed Automata Using Interpolants

Abate, Alessandro, Geeraerts, Gilles

Year:

2017

Language:

english

File:

PDF, 317 KB

english, 2017

12

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 10419 || Let’s Be Lazy, We Have Time

Abate, Alessandro, Geeraerts, Gilles

Year:

2017

Language:

english

File:

PDF, 330 KB

english, 2017

13

[IEEE 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Zaragoza (2017.6.25-2017.6.30)] 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks

Geeraerts, Gilles, Goossens, Joel, Nguyen, Thi-Van-Anh

Year:

2017

Language:

english

File:

PDF, 361 KB

english, 2017

14

The relative contribution of peat compaction and oxidation to subsidence in built-up areas in the Rhine-Meuse delta, The Netherlands

van Asselen, Sanneke, Erkens, Gilles, Stouthamer, Esther, Woolderink, Hessel A.G., Geeraert, Rebecca E.E., Hefting, Mariet M.

Journal:

Science of The Total Environment

Year:

2018

Language:

english

File:

PDF, 4.18 MB

english, 2018

15

In-situ geophysical and hydro-geochemical monitoring to infer landslide dynamics (Pégairolles-de-l'Escalette landslide, France)

Denchik, Nataliya, Gautier, Stéphanie, Dupuy, Margaux, Batiot-Guilhe, Christelle, Lopez, Michel, Léonardi, Véronique, Geeraert, Muriel, Henry, Gilles, Neyens, Denis, Coudray, Paul, Pezard, Philippe A.

Journal:

Engineering Geology

Year:

2019

File:

PDF, 952 KB

2019

16

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Efficient Algorithms and Tools for MITL Model-Checking and Synthesis

Brihaye, Thomas, Geeraerts, Gilles, Ho, Hsi-Ming, Milchior, Arthur, Monmege, Benjamin

Year:

2018

Language:

english

File:

PDF, 153 KB

english, 2018

17

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 10419 || A Symbolic Operational Semantics for TESL

Abate, Alessandro, Geeraerts, Gilles

Year:

2017

Language:

english

File:

PDF, 475 KB

english, 2017

18

Comparison of strategies for monitoring and treating patients at the early phase of severe traumatic brain injury: the multicentre randomised controlled OXY-TC trial study protocol

Payen, Jean-Francois, Richard, Marion, Francony, Gilles, Audibert, GÃ©rard, Barbier, Emmanuel L, Bruder, Nicolas, Dahyot-Fizelier, Claire, Geeraerts, Thomas, Gergele, Laurent, Puybasset, Louis, Vigue,

Journal:

Year:

2020

File:

PDF, 979 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски